Technical Report The Stochastic Network Calculator

In this technical report, we provide an in-depth description of the Stochastic Network Calculator tool, henceforth just called “Calculator”. This tool is designed to compute and automatically optimize performance bounds in queueing networks using the methodology of stochastic network calculus (SNC). For a detailed introduction to SNC, see the publicly available thesis of Beck [2], which shares the notations and definitions used in this document. Other introductory texts are the books [5, 11] and the surveys [8, 9]. The Stochastic Network Calculator is an open source project and can be found on github at https://github.com/scriptkitty/SNC; it was also presented in [1, 3]. We structure this report as follows: • We give the essential notations, definitions, and results of SNC in Sections 2 and 4. Section 3 focuses on modeling queueing systems, service elements, and arrivals within the language of SNC. • Section 5 gives an overview on the calculator’s code structure and its workflow. • In Section 7 we give more detail on how the concepts of SNC are represented in the code. • How to access and extend the Calculator is topic of Section 8. • We wrap things up with a full example in Section 9. It describes the modeling steps we have undertaken to produce the results for our presentation at the IEEE Infocom conference 2017 [3]. We refrain from displaying larger chunks of code in this report for two reasons: (1) The Calculator is under development and the code-base might change at any time. (2) The code is extensively commented; hence, instead of enlargening this report to unbearable lengths, it will be more useful for developers to read about the code’s details in their own context.